Relax, but Don’t be Too Lazy

Relax, but Don't be Too Lazy

Too busy to relax?

Today I am going to exercise. Finally! I plan to leave my offi ce early and go to the gym on my way home. I just need to complete a few telephone calls and I will be on my way. Suddenly, the emergency department calls. Mrs S. is back with congestive heart failure and will likely need admission. There goes my new resolution. By the time I leave the emergency department, it is time to go home, ha...

Photochemistry: let there be light--but not too much.

I t is hoped that artificial photosynthetic systems will one day be able to harness some of the energy in sunlight for applications such as solar energy, optoelectronics and molecular machines. For this to happen, however, these systems must be able to harvest the light, separate the electrons and ‘holes’ formed when the light is absorbed, and then transport these charges to places where they a...

The circuit that was too lazy to fail

This paper describes a translation of a relational hardware description language into a functional language in such a way that the user does not have to decide the direction of the data flow in the functional language. This approach relies on laziness, making the translation hard to analyse. The use of a theorem prover that supports reasoning about laziness and undefined elements allows the inv...

Testing Can Be Formal, Too

The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the basis for a notion of an exhaustive test set. Under some minimal hypotheses on the program under test, the success of this test set is equivalent to the satisfaction of the specification. The selection of a finite subset of the exhaustive test set can be seen as the i...